Merge branch 'menu-sizing' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 3 Jun 2019 14:57:46 +0000 (14:57 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 3 Jun 2019 14:57:46 +0000 (14:57 +0000)
menu: Update scrollbar policy

Closes #1930

See merge request GNOME/gtk!908


Trivial merge